Time computations in anuran auditory systems

Time computations in anuran auditory systems

Temporal computations are important in the acoustic communication of anurans. In many cases, calls between closely related species are nearly identical spectrally but differ markedly in temporal structure. Depending on the species, calls can differ in pulse duration, shape and/or rate (i.e., amplitude modulation), direction and rate of frequency modulation, and overall call duration. Also, beha...

Time-Driven Computations in P Systems

It is a well-known fact that the time of execution of a (biochemical) reaction depends on many factors, and, in particular, on the current situation of the whole system. With this motivation in mind, we propose a model of computation based on membrane systems where the various rewriting rules have different times of execution and, moreover, the time of execution of each rule can vary during the...

Time-Varying Systems and Computations Lecture 3

Scheduling optional computations in fault-tolerant real-time systems

This paper introduces an exact schedulability analysis for the optional computation model under a specified failure hypothesis. From this analysis, we propose a solution for determining, before run-time, the degree of fault tolerance allowed in the system. This analysis will allow the system designer to verify if all the tasks in the system meet their deadlines and to decide which optional part...

Simplifying Fixpoint Computations in Veri ation of Real-Time Systems